Challenges in Getting ‘formal’ with Viruses
نویسندگان
چکیده
Researchers in academia and industry are beginning to develop anti-virus technologies founded on formal methods of analysing programs (Christodorescu and Jha 2003, 12th Usenix Security Symposium, 2003; Perriot, 13th Virus Bulletin International Conference 2003; Singh, Moinuddin et al., 2nd European Conference on Information Warfare and Security, 2003). These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.
منابع مشابه
Sandwich Generation Issues and Challenges
Today, with the increase in the elderly population and life expectancy, the need to use care services for this significant part of the population is increasing. Beliefs, cultures, and social norms among different ethnicities and races are vital in the extent and nature of care. Two types of care exist, informal and formal. According to statistics by the Secretariat of the National Council on Ag...
متن کاملA Pathological Study of Urban Design Skills’ Non-formal Training in Iran, Case Study: Tehran Municipality
In today’s world, one of the cities’ major challenges is the crisis of the built environment quality. As the urban design group discussed, urban management (local authorities) actors are kind of urban designers who unconsciously affect the quality of urban environment by their decisions. Non-formal Education and in-service training programs are effective methods to qualify staff for making deci...
متن کاملCoronavirus and medical education: Getting change and turning to new education paradigm: the need for scaffolding learning in online training
Coronavirus pandemic has caused extensive changes in various fields. Education is one challenging and necessary dimension to be paid attention by policymakers and considered as a necessity. Due to changes in the methods and styles of providing medical education from face-to-face to virtual training, and due to its novelty in our country and several challenges ahead, it is necessary to take meas...
متن کاملمکانیسم عمل و کاربرد ویروسیدها در کنترل عفونت‌های ویروسی وابسته به اقدامات بهداشتی
Viruses are important causes of acute and chronic diseases in humans. Newer viruses are still being discovered. Apart from frequently causing infections in the general community, many types of viruses are significant nosocomial pathogens that with emerging viruses has become a real issue in medical field. There are specific treatments, vaccine and physical barrier to fight some of these infecti...
متن کاملTen challenges in improving quality in healthcare: lessons from the Health Foundation's programme evaluations and relevant literature
BACKGROUND Formal evaluations of programmes are an important source of learning about the challenges faced in improving quality in healthcare and how they can be addressed. The authors aimed to integrate lessons from evaluations of the Health Foundation's improvement programmes with relevant literature. METHODS The authors analysed evaluation reports relating to five Health Foundation improve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003